Program Consisitency
このモデルでは、特定のプログラムの結果の一貫性に、Coordinationが必要かどうかの議論を曖昧にしていた
分散システムは非決定性をもたらすので、膨大な状態空間をもたらす
我々の興味は、観測可能な動作: プログラムの結果にある
「ラインタイムシステムが非決定性をはらんでいるにも関わらず、プログラムは決定的な結果を出力するか?」という問い
(順序を持たない)集合から集合への決定論的な関数とみなせる
Confluentな操作の出力が、他のConfluentな操作の入力に使われる場合、その合成関数もConfluent
参考